<html>
<head><meta charset="utf-8"><title>Detecting bad mem::uninitialized/zeroed · t-lang · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/index.html">t-lang</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html">Detecting bad mem::uninitialized/zeroed</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="208593837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208593837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208593837">(Aug 31 2020 at 18:04)</a>:</h4>
<p>I have finally gotten around to <a href="https://github.com/rust-lang/rust/pull/71274#issuecomment-683937298">analyzing all the crater regressions</a> for my attempt to detect more misuse of mem::uninitialized/zeroed. <span class="user-group-mention" data-user-group-id="1977">@T-lang</span> what do you think is the next step here, is this okay to land (early in the cycle as we are now) or would you prefer another crater run (which will take a while)?</p>



<a name="208594497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208594497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208594497">(Aug 31 2020 at 18:09)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> That's really impressive work!</p>



<a name="208594580"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208594580" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208594580">(Aug 31 2020 at 18:10)</a>:</h4>
<p>Is the proposal to land the compiler check as a lint (warn?, deny?) or as an error?</p>



<a name="208594633"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208594633" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208594633">(Aug 31 2020 at 18:10)</a>:</h4>
<p>Or as a runtime panic?</p>



<a name="208594643"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208594643" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208594643">(Aug 31 2020 at 18:10)</a>:</h4>
<p>this is a dynamic check. it makes the function panic. see <a href="https://github.com/rust-lang/rust/issues/66151">https://github.com/rust-lang/rust/issues/66151</a> for more information.</p>



<a name="208594680"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208594680" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208594680">(Aug 31 2020 at 18:11)</a>:</h4>
<p>we also have a static check but naturally it is less precise, and to avoid false positives it misses many cases</p>



<a name="208594692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208594692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208594692">(Aug 31 2020 at 18:11)</a>:</h4>
<p>Sure.</p>



<a name="208594704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208594704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208594704">(Aug 31 2020 at 18:11)</a>:</h4>
<p>and of course the lint doesn't show anything for bugs in dependencies</p>



<a name="208594760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208594760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208594760">(Aug 31 2020 at 18:11)</a>:</h4>
<p>So, landing a lint I'd be completely in favor of doing as soon as possible, and I'd be happy for it to be deny-by-default.</p>



<a name="208594772"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208594772" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208594772">(Aug 31 2020 at 18:11)</a>:</h4>
<p><span class="user-mention silent" data-user-id="239881">Josh Triplett</span> <a href="#narrow/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed/near/208594497">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="120791">RalfJ</span> That's really impressive work!</p>
</blockquote>
<p>thanks. :) it wasn't a lot of fun to be honest, which is why it took me so long to find the motivation to go over &gt;100 regression logs and figure out what happened and create appropriate bugreports.^^ but I really want those safety checks ;)</p>



<a name="208594858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208594858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208594858">(Aug 31 2020 at 18:12)</a>:</h4>
<p>The runtime panic I'm also in favor of landing, at the beginning of a cycle. Is there any <em>reasonable</em> way for it to be feasible to have 1-2 releases worth of ability to opt out of that panic?</p>



<a name="208594910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208594910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208594910">(Aug 31 2020 at 18:13)</a>:</h4>
<p>Just in case there turns out to be a critical problem?</p>



<a name="208594931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208594931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208594931">(Aug 31 2020 at 18:13)</a>:</h4>
<p><span class="user-mention silent" data-user-id="239881">Josh Triplett</span> <a href="#narrow/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed/near/208594760">said</a>:</p>
<blockquote>
<p>So, landing a lint I'd be completely in favor of doing as soon as possible, and I'd be happy for it to be deny-by-default.</p>
</blockquote>
<p>the lint is fully orthogonal in implementation and already exists (<a href="https://github.com/rust-lang/rust/pulls?q=is%3Apr+author%3ARalfJung+is%3Aclosed+invalid_value">https://github.com/rust-lang/rust/pulls?q=is%3Apr+author%3ARalfJung+is%3Aclosed+invalid_value</a>). it is currently warn-by-default.</p>



<a name="208594973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208594973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208594973">(Aug 31 2020 at 18:13)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> If you want to ramp that up to deny-by-default, go for it, especially if we're going to be panicking in at least any case that that lint would flag.</p>



<a name="208595063"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595063" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595063">(Aug 31 2020 at 18:14)</a>:</h4>
<p><span class="user-mention silent" data-user-id="239881">Josh Triplett</span> <a href="#narrow/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed/near/208594858">said</a>:</p>
<blockquote>
<p>The runtime panic I'm also in favor of landing, at the beginning of a cycle. Is there any <em>reasonable</em> way for it to be feasible to have 1-2 releases worth of ability to opt out of that panic?</p>
</blockquote>
<p>to be clear, we <em>already</em> panic in some cases, like <code>mem::zeroed::&lt;&amp;T&gt;</code>.</p>



<a name="208595086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595086">(Aug 31 2020 at 18:14)</a>:</h4>
<p>the proposal is to detect more cases, like when the reference is nested in a struct.</p>



<a name="208595090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595090">(Aug 31 2020 at 18:14)</a>:</h4>
<p>Ah!</p>



<a name="208595106"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595106" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595106">(Aug 31 2020 at 18:14)</a>:</h4>
<p>OK, I missed that detail.</p>



<a name="208595123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595123">(Aug 31 2020 at 18:14)</a>:</h4>
<p>I would have felt like we needed a bit of leeway for the initial cases like that.</p>



<a name="208595147"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595147" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595147">(Aug 31 2020 at 18:15)</a>:</h4>
<p>But now that we <em>have</em> those cases, extending that to catch more things is fine.</p>



<a name="208595169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595169">(Aug 31 2020 at 18:15)</a>:</h4>
<p>FWIW, there was a t-lang FCP for landing the panic^^ (<a href="https://github.com/rust-lang/rust/pull/66059">https://github.com/rust-lang/rust/pull/66059</a>)</p>



<a name="208595195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595195">(Aug 31 2020 at 18:15)</a>:</h4>
<p>/me is sure there was, yes. :)</p>



<a name="208595303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595303">(Aug 31 2020 at 18:16)</a>:</h4>
<p>I remembered us going through that, I was just confused because I thought you were talking about introducing that.</p>



<a name="208595325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595325">(Aug 31 2020 at 18:16)</a>:</h4>
<p>But now I understand what you mean. Extending that to more cases seems fine.</p>



<a name="208595329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595329">(Aug 31 2020 at 18:16)</a>:</h4>
<p>so regarding the opt-out... the only thing I can think of is a <code>-Z</code> flag, which would not really help for stable obviously.</p>



<a name="208595344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595344">(Aug 31 2020 at 18:16)</a>:</h4>
<p>/me shakes his head.</p>



<a name="208595347"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595347" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595347">(Aug 31 2020 at 18:16)</a>:</h4>
<p>No need, I think.</p>



<a name="208595353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595353">(Aug 31 2020 at 18:16)</a>:</h4>
<p>I'd happily check off on merging extensions to that panic.</p>



<a name="208595376"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595376" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595376">(Aug 31 2020 at 18:16)</a>:</h4>
<p>Go ahead and file it and poke me to FCP.</p>



<a name="208595438"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595438" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595438">(Aug 31 2020 at 18:17)</a>:</h4>
<p>Beyond <a href="https://github.com/rust-lang/rust/pull/71274#issuecomment-683937298">https://github.com/rust-lang/rust/pull/71274#issuecomment-683937298</a>, what do you require?</p>



<a name="208595458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595458">(Aug 31 2020 at 18:17)</a>:</h4>
<p>(not sure what you mean by "file it")</p>



<a name="208595480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595480">(Aug 31 2020 at 18:18)</a>:</h4>
<p>...sorry, I'm clearly multitasking too much today, that's a PR and not an issue. :)</p>



<a name="208595522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595522">(Aug 31 2020 at 18:18)</a>:</h4>
<p>One moment...</p>



<a name="208595611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595611">(Aug 31 2020 at 18:19)</a>:</h4>
<p>thanks :)</p>



<a name="208595812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595812">(Aug 31 2020 at 18:21)</a>:</h4>
<p><span class="user-mention silent" data-user-id="239881">Josh Triplett</span> <a href="#narrow/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed/near/208594973">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="120791">RalfJ</span> If you want to ramp that up to deny-by-default, go for it, especially if we're going to be panicking in at least any case that that lint would flag.</p>
</blockquote>
<p>I think that would be <a href="https://github.com/rust-lang/rust/issues/75968">https://github.com/rust-lang/rust/issues/75968</a>, maybe you want to comment here :)</p>



<a name="208595814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208595814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208595814">(Aug 31 2020 at 18:21)</a>:</h4>
<p>don't worry, github gets confused too ;) <a href="https://github.com/rust-lang/rust/issues/71274#issuecomment-683937298">https://github.com/rust-lang/rust/issues/71274#issuecomment-683937298</a></p>



<a name="208602673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208602673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bjorn3 <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208602673">(Aug 31 2020 at 19:13)</a>:</h4>
<p>You can always refer to pr's using <code>/issues/</code>, but not the opposite way around. When you write <a href="https://github.com/rust-lang/rust/issues/71274">#71274</a> there is a zulip linkifier that turns it into <a href="https://github.com/rust-lang/rust/issues/71274">https://github.com/rust-lang/rust/issues/71274</a>. It can't query github if it is a issue or pr, which means that having <code>/issues/</code> work is very nice.</p>



<a name="208605957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Detecting%20bad%20mem%3A%3Auninitialized/zeroed/near/208605957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Detecting.20bad.20mem.3A.3Auninitialized.2Fzeroed.html#208605957">(Aug 31 2020 at 19:41)</a>:</h4>
<p>it looks like it works both ways, <a href="https://github.com/rust-lang/rust/pull/76177">https://github.com/rust-lang/rust/pull/76177</a> redirects to <a href="https://github.com/rust-lang/rust/issues/76177">https://github.com/rust-lang/rust/issues/76177</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>